Избыточность поддерживается за счёт follower'ов, следующих за лидером
Тогда то, что вы описали - это и есть leader-based replication, есть еще leaderless and milti-leader. Strong consistency можно добиться в любой из этих архитектур, но конечно учитывая, что CAP теорему не обойти.