If you’re on a Standard Plan, active LEAD.bot users are the number of people on your billing account receiving Intros. A person only counts as 1 active user, no matter how many LEAD.bot channels they belong to.
If someone leaves the matching channel, LEAD.bot will not include the person in billing next month. They can opt back in anytime.