Semantic Completeness

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Property of a deductive system that every formula which is semantically valid (true in all models of the system's semantics) is provable within the system's proof calculus.