Ein Kalkül heißt vollständig (bzgl. einer Semantik), wenn jede bzgl. dieser Semantik allgemeingültige Aussage in dem Kalkül ableitbar ist, das hat mit Entscheidbarkeit nichts zu tun. Dagegen heißt eine Theorie – nicht aber ein Kalkül allein – vollständig, wenn jede (wohlgeformte) Aussage Element der Theorie ist oder ihre Negation Element der Theorie ist, was man auch "entscheidbar" nennt. Es sah für mich so aus, als seien hier diese beiden Begriffe vermengt worden.