Leader Completeness

RU: Leader Completeness

A Raft safety property: if a log entry is committed in a given term, it is present in the logs of all leaders elected in higher terms. This is enforced by the election voting rule — a candidate is granted a vote only if its log is at least as up-to-date as the voter's, ensuring no candidate lacking a committed entry can win a majority.