Desired property determinacy of one step evaluation relation

A desirable property of a Lambda calculus where each term always evaluates to the same term in a single step.