1: \begin{abstract}

2: Let $\mc{O}^{int}_q(m|n)$ be a semisimple tensor category of modules over a quantum ortho-symplectic superalgebra  of type $B, C, D$ introduced in \cite{K13}. It is a natural counterpart of the category of finitely dominated integrable modules over a quantum group of type $B, C, D$ from a viewpoint of super duality. Continuing the previous work on type $B$ and $C$ \cite{K13}, we classify the irreducible modules in $\mc{O}^{int}_q(m|n)$, and prove the existence and uniqueness of their crystal bases in case of type $D$. A new combinatorial model of classical crystals of type $D$ is introduced, whose super analogue gives a realization of crystals for the highest weight modules in $\mc{O}^{int}_q(m|n)$. %Combining with the results \cite{BKK} for type $A$ and \cite{K13} for type $B$ and $C$, we conclude that super duality provides a natural semisimple tensor category of Lie superalgebras of types $ABCD$, where a crystal base theory exists.

3: \end{abstract}

4: