Свойство алгоритма заключающиеся в том что каждое действие и алгоритм в целом должны иметь возможность завершения называется

Break  он есть во многих языках программирования, он завершает циклы или еще подобные