Liveness Property
Informally a
liveness property
expresses that something (good) will eventually happen.