https://www.consul.io/commands/leave (pinned version) says:

Running consul leave on a server explicitly will reduce the quorum size. Even if the cluster used bootstrap_expect to set a quorum size initially, issuing consul leave on a server will reconfigure the cluster to have fewer servers. This means you could end up with just one server that is still able to commit writes because quorum is only 1

To the operator, it is unclear what "quorum size" means exactly here.

Assuming I ran consul leave, how can I check what the new decreased quorum size is?

• Is it the number of entries that have Type = server in consul members?
• Is it the known_servers field in consul info (which is presumably the same as the above)?

Given that the docs warn that the quorum size may drop to 1 and that that is bad, they should say how to check what the quorum size currently is.