Интересно было бы узнать. Какое свойство алгоритма заключается в том, что он должен завершать работу и выдавать результат за определённое число шагов?

Это свойство называется "конечностью" (терминология зависит от контекста). Конечность алгоритма означает, что он должен завершить свою работу и выдать результат в течение конечного числа шагов, что обеспечивает его эффективность и предсказуемость выполнения.