All tagged Venn Diagrams in Categorical Logic