Algorithms and computational thinking

A shortest-path implementation repeatedly finalizes the unsettled vertex with the smallest tentative distance, as in Dijkstra's algorithm. Which condition is required for this greedy finalization to be correct?