A Las Vegas algorithm is a randomized algorithm that always works and its probably fast.

(This is as opposed to monte-carlo algorithm, which is always fast and probably works.)