what is meant by "nicely embedded" depends on the context, and there are different terms for different kinds of slice knots. if "d" is smoothly embedded in "b", then "k" is said to be smoothly slice. if "d" is only locally flat (which is weaker), then "k" is said to be topologically slice.