Большой энциклопедический словарь
ПОЛНОТА — в логике и математике — достаточность выразительных или дедуктивных средств какой-либо научной теории или исчисления для описания (характеристики, предсказания, вывода) всех реальных свойств и отношений предполагаемой модели этой теории или исчисления.