Définitions de complétude Propriété d'une théorie déductive consistante où toute formule est décidable. Propriété pour un espace d'être complet.