Der Zustand, dass alle Teile vorhanden sind und keines fehlt.
In der Logik ist die Eigenschaft der Vollständigkeit eines logischen Systems gegeben, wenn sich mit den Operatoren (aussagenlogischen Grundfunktionen) des Systems jede beliebige aussagenlogische Funktion definieren läßt.
En logique, la propriété de complétude d'un système logique est donnée lorsque toute fonction logique propositionnelle quelconque peut être définie avec les opérateurs (fonctions fondamentales propositionnelles) du système.
