PBFT-Backed Semantic Voting for Multi-Agent Memory Pruning