Свойство алгоритма, которое означает, что алгоритм должен обеспечивать возможность получения результата после конечного, возможно очень большого, числа шагов. При этом результатом считается не только обусловленный постановкой задачи ответ, но и вывод о невозможности продолжения по какой-либо причине решения данной задачи.