semantical completeness

Мат. семантическая полнота