Termination. In the context of term rewriting, termination is when after a normal form is reached after finitely many rule applications.

Baader, Franz, and Tobias Nipkow. Term rewriting and all that. Cambridge university press, 1998.