Цикл с заключительной проверкой (posttest loop) — схема управления циклом, в которой проверка производится после выполнения тела цикла.
Пример. Конструкция «repeat… until» в Паскале.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]