Vollständig (semantisch vollständig) heißt ein Kalkül genau dann, wenn in ihm alle semantisch gültigen Formeln hergeleitet werden können;
fˈɔlʃtˌɛndɪç zeːmˈantɪʃ fˈɔlʃtˌɛndɪç hˈaɪst aɪn kˈalkyːl ɡənˈaʊ dan, vˌɛn ɪn iːm ˈalə zeːmˈantɪʃ ɡˈyltɪɡən fˈɔɾməln hˈɛɾɡəlˌaɪtət vˌɛɾdən kˈœnən;