Page "Semantics encoding" Paragraph 14

This preservation guarantees that both languages behave the same way.

Soundness guarantees that all possible behaviours are preserved while completeness guarantees that no behaviour is added by the encoding.

In particular, in the case of compilation of a programming language, soundness and completeness together mean that the compiled program behaves accordingly to the high-level semantics of the programming language.