La completud es la condición de un sistema formal de que (a) el lenguaje formal tiene la capacidad para expresar como fbfs todas las proposiciones que se supone deben ser significativas, y (b) el aparato deductivo tiene la capacidad para probar como teoremas todas las proposiciones que deben ser verdaderas. Esta segunda condición se puede expresar más brevemente como que todas las fbfs del sistema son teoremas del sistema.
A la condición (a) también se le llama completud expresiva, y a la (b) completud deductiva.
(v. sistema formal, teorema)