semantically complete

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