Let $X$ be a ringed space. Recall that an $\mathcal{O}_X$-module $M$ is called *coherent* if it is of finite presentation and for every open $U \subseteq X$ every $\mathcal{O}_U$-submodule of finite type of $M|_U$ is of finite presentation. Coherent modules constitute an abelian category (in contrast to modules of finite presentation or just of finite type). See the Stacks project, modules, section 12. In general $\mathcal{O}_X$ might be not coherent.

**Question.** If $M,N$ are coherent $O_X$-modules, is it true that $M \otimes_{\mathcal{O}_X} N$ is coherent?

I guess that this will be false in this generality. So let us restrict to schemes, w.l.o.g. affine schemes. Here a module $M$ over a ring $A$ is coherent if it is of finite presentation and every submodule of finite type is of finite presentation.