I agree that this would be a great tool!
I’d like to be able to filter contacts who have completed a sequence, but it’s more important to be able to select contacts that have completed specific sequences, rather than completed any sequence.
I would use this tool to bulk edit the lead status. If they have completed a sequence in which I beleive no reply indicates they are uninterested, I could update the lead status to “unqualified” or some other custom property that is applicable to my business.