Desired property: termination of evaluation

A desirable property of a Lambda calculus where every term all evaluates to a Normal form, whether they become Stuck term or Value. This property may not hold in most systems.