The two definitions alluded to in the title can be found in the relevant Wikipedia entry (one is that the $\sigma$-algebra is countably generated, the other is pretty much the standard usage of the word separable wrt the semi-metric given by the measure). Why are they equivalent?