Исполнение алгоритма должно завершиться за конечное число шагов. Это свойство алгоритма называется...

Правильный ответ: конечность.

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