Clearly, real leaves in nature do stop growing.

So, if this is to be a plausible empirical model, we should hope to be able to prove that the algorithm will in fact terminate at some point.