Such algorithms are called Las Vegas algorithms, which distinguishes them from Monte Carlo algorithms which are allowed to make some error.
Такие алгоритмы называются алгоритмами Лас-Вегаса и их следует отличать от алгоритмов Монте-Карло, в которых некоторые ошибки допустимы.